181. Semantics of type theory : correctness, Completeness and independence results
Author: Thomas Streicher
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics,، Functional programming )Computer science(,، Type theory
Classification :
QA
76
.
7
.
S85
182. Semantics of type theory : correctness, completeness, and independence results
Author: / Thomas Streicher
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Programming languages (Electronic computers) - Semantics,Functional programming (Computer science),Type theory
Classification :
QA76
.
7
.
S82
1991
183. The Haskell school of music :
Author: Paul Hudak, Donya Quick.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer music-- Instruction and study.,Functional programming (Computer science),Haskell (Computer program language),Computer music-- Instruction and study.,Functional programming (Computer science),Haskell (Computer program language)
Classification :
ML74
.
4
.
H37
H84
2018
184. The beauty of functional code :
Author: Peter Achten, Pieter Koopman (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Functional programming (Computer science), Congresses
Classification :
QA76
.
62
185. The book of F♯
Author: Dave Fancher
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: F♯ (Computer program language),Functional programming (Computer science)
Classification :
QA76
.
73
.
F163
F36
2014
186. The functional approach to data management :
Author: editors, Peter M.D. Gray [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Bases de données -- Gestion.,Database management.,Functional programming (Computer science)
Classification :
QA76
.
9
.
D3
E358
9999
187. The functional approach to programming
Author: Cousineau, Guy
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Functional programming )Computer science(
Classification :
QA
76
.
62
.
C68
1998
188. The joy of Kotlin
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Kotlin (Computer program language) ; Functional programming (Computer science) ; Application software ; Development. ;
189. The little typer /
Author: Daniel P. Friedman, David Thrane Christiansen ; drawings by Duane Bibby ; foreword by Robert Harper ; afterword by Conor McBride.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic.,Functional programming (Computer science),Logic programming.,Type theory.,Computer logic.,Functional programming (Computer science),Logic programming.,Type theory.
Classification :
QA76
.
63
.
F75
2018
190. Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-14, 1998
Author: editors, Masahiko Sato, Yoshihito Toyama
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Functional programming )Computer science( - Congresses , Logic programming - Congresses
Classification :
QA
76
.
62
.
F84
1998
191. Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998
Author: editors, Masahiko Sato, Yoshihito Toyama
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
Classification :
QA
76
.
62
.
F84
1998
192. Trends in Functional Programming
Author: \ Jurriaan Hage , Jay McCarthy (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Functional programming (Computer science) -- Congresses.,Logic design -- Computer programs -- Congresses.,Data structures (Computer science) -- Congresses.,طراحی منطقی -- برنامههای کامپیوتری -- کنگره ها ,ساختار دادهها -- کنگره ها
Classification :
QA
76
.
62
.
T7
2015
E-Book
,
193. Trends in Functional Programming
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Functional programming (Computer science) -- Congresses,Functional programming (Computer science) ,برنامهنویسی تابعی (کامپیوتر) -- کنگرهها,برنامهنویسی تابعی (کامپیوتر)
Classification :
E-Book
,
194. Trends in functional programming :
Author: Michał Pałka, Magnus Myreen (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer science.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.,Logic design.,Operating systems (Computers)
Classification :
QA76
.
62
.
I58
2018
195. Trends in functional programming :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Functional programming (Computer science) ; Congresses. ;
196. Trends in functional programming :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Functional programming (Computer science) ; Congresses. ;
197. Trends in functional programming :
Author: David Van Horn, John Hughes (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.
Classification :
QA76
.
62
198. Trends in functional programming :
Author: edited by Meng Wang, Scott Owens.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
62
199. Trends in functional programming :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Functional programming (Computer science) ; Congresses. ;
200. Trends in functional programming :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Functional programming (Computer science) ; Congresses. ;
